Computer Science

Module	LV Type	CP	LV	Dates
Actions and Planning in AI: Learning, Models, and Algorithms	Fach-/Modulprüfung	6	494715
	Vorlesung		494712	Di 14:30-16:00 SG 12 (1810\|012) (×13) Do 14:30-16:00 AS (1050\|U101) (×10)
	Übung		494711	Fr 14:30-16:00 SG 513 (1810\|513) (×13)
Advanced Algorithmic Differentiation	Fach-/Modulprüfung	6	506262
Advanced Algorithmic Differentiation	Vorlesung/Übung		479201	Di 08:30-10:00 AH III (2350\|314.1) (×14) Fr 14:30-16:00 AH III (2350\|314.1) (×13)
Advanced Automata Theory	Fach-/Modulprüfung	6	478709
Advanced C++	Fach-/Modulprüfung	4	494708
Advanced C++	Vorlesung/Übung		494638	Mi 14:30-16:00 AH IV (2354\|030) (×13) Do 14:30-16:15 t.b.d. (×12)
Advanced Internet Technology	Fach-/Modulprüfung	6	481832
	Vorlesung		481601	Do 10:30-12:00 AH I (2350\|028) (×12) Fr 10:30-12:00 AH I (2350\|028) (×12)
	Übung		481600
Advanced Machine Learning	Fach-/Modulprüfung	6	476119
Advanced Machine Learning	Vorlesung		473074
Advanced Methods in Automatic Speech Recognition	Fach-/Modulprüfung	6	476648
Advanced Process Mining	Fach-/Modulprüfung	6	474767
	Vorlesung		467298	Mi 10:30-12:00 AH II (2350\|111) (×11) Do 10:30-12:00 AH II (2350\|111) (×10)
	Übung		467299	Fr 16:30-18:00 AH VI (2356\|051) (×13)
Advanced Statistical Classification	Fach-/Modulprüfung	6	476900
Business Process Intelligence	Fach-/Modulprüfung	6	475495
	Vorlesung		467300	Mo 08:30-10:00 AH IV (2354\|030) (×10) Di 08:30-10:00 AH V (2356\|050) (×1) Di 10:30-12:00 AH IV (2354\|030) (×10)
	Übung		467301	Mi 12:30-14:00 AH IV (2354\|030) (×14)
Communication Systems Engineering	Fach-/Modulprüfung	6	476921
Computer Vision	Fach-/Modulprüfung	6	474785
Computer Vision	Vorlesung/Übung		472558	Mo 10:30-12:00 AH IV (2354\|030) (×11) Mo 14:30-16:00 AH IV (2354\|030) (×11) Do 14:30-16:00 AH IV (2354\|030) (×10)
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	475812
Current Topics in Media Computing and HCI	Fach-/Modulprüfung	6	478708
Current Topics in Media Computing and HCI	Vorlesung/Übung		473619	Di 10:30-12:00 Seminarraum Informatik 10 (2350\|222) (×13) Mi 12:30-14:00 Seminarraum Informatik 10 (2350\|222) (×14)
Data-Driven Methods for 3D Shape Analysis	Fach-/Modulprüfung	6	475378
	Vorlesung		471952	Di 14:30-16:00 AH V (2356\|050) (×12) Do 14:30-16:00 AH VI (2356\|051) (×10)
	Übung		471953	Mi 16:30-18:00 AH VI (2356\|051) (×12)
Datenstrommanagement und -analyse	Fach-/Modulprüfung	6	477990
Datenstrommanagement und -analyse	Vorlesung/Übung		481668	Mo 12:30-14:00 AH I (2350\|028) (×11) Fr 08:30-10:00 AH VI (2356\|051) (×13)
Designing Interactive Systems II	Fach-/Modulprüfung	6	476117
Designing Interactive Systems II	Vorlesung/Übung		473896	Mo 14:30-16:00 Seminarraum Informatik 10 (2350\|222) (×10) Mi 09:30-12:00 Seminarraum Informatik 10 (2350\|222) (×13)
Distributed Ledger Technology	Fach-/Modulprüfung	4	474647
Dynamical Processes on Networks	Fach-/Modulprüfung	6	475176
	Vorlesung		481663	Di 12:30-14:00 AH I (2350\|028) (×12) Mi 08:30-10:00 AH VI (2356\|051) (×14)
	Übung		481664	Mi 10:30-12:00 AH V (2356\|050) (×14)
Eingebettete Systeme	Fach-/Modulprüfung	6	477537
	Vorlesung/Übung		473387	Di 12:30-14:00 AH III (2350\|314.1) (×12) Do 12:30-14:00 AH III (2350\|314.1) (×10)
	Vorlesung/Übung		474003	Mo 14:30-16:00 AH III (2350\|314.1) (×10) Di 10:30-12:00 AH II (2350\|111) (×12)
Fixpoints and Induction in Logic and Computer Science	Fach-/Modulprüfung	6	474631
	Vorlesung		474372	Mi 10:30-12:00 5052 (2356\|052) (×12) Do 10:30-12:00 5056 (2356\|056) (×6)
	Übung		474260	Do 12:30-14:00 5054 (2356\|054) (×10)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	474766
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	481923
	Vorlesung		481461	Di 08:30-10:00 AH VI (2356\|051) (×14)
	Übung		481460	Mi 12:30-14:00 AH VI (2356\|051) (×2) Do 08:30-10:00 AH VI (2356\|051) (×12)
Funktionale Programmierung	Fach-/Modulprüfung	6	477345
Funktionale Sicherheit und Systemzuverlässigkeit	Fach-/Modulprüfung	6	476169
Funktionale Sicherheit und Systemzuverlässigkeit	Vorlesung/Übung		473723	Mo 16:30-18:00 AH III (2350\|314.1) (×11) Do 10:30-12:00 AH III (2350\|314.1) (×9)
Geometrieverarbeitung	Fach-/Modulprüfung	6	474878
	Vorlesung		471095	Di 10:30-12:00 AH V (2356\|050) (×12) Do 10:30-12:00 AH V (2356\|050) (×10)
	Übung		473435	Fr 12:30-14:00 AH III (2350\|314.1) (×13)
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	477998
Höhere Algorithmik	Fach-/Modulprüfung	6	475375
Infinite Computations and Games	Fach-/Modulprüfung	6	476569
IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit	Fach-/Modulprüfung	6	476014
IT-Sicherheit 2 - Computer Security	Fach-/Modulprüfung	6	475366
Kombinatorische Graphentheorie	Fach-/Modulprüfung	6	475521
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	478425
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		470949	Mo 14:30-16:00 5056 (2356\|056) (×6) Mo 14:30-16:00 Fakultätsseminarraum (2359\|U112) (×1) Mo 14:30-16:00 S11 (1385\|211) (×5) Do 12:30-14:00 5056 (2356\|056) (×6) Do 12:30-14:00 Extern (×1) Do 12:30-14:00 H10 (1385\|217) (×4)
Logics for Reasoning about Uncertainty	Fach-/Modulprüfung	4	476389
Logikprogrammierung	Fach-/Modulprüfung	6	477019
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	482399
Machine Learning with Graphs: Foundations and Applications	Vorlesung/Übung		482126	Mi 08:30-10:00 S03 (1385\|203) (×14) Do 10:30-12:00 R 220 (1080\|220) (×12)
Mikrocontrollerprogrammierung und Fehlersuche	Fach-/Modulprüfung	6	478180
	Vorlesung/Übung		472265	Di 14:30-16:00 AH III (2350\|314.1) (×14) Mi 10:30-12:00 AH III (2350\|314.1) (×14)
	Vorlesung/Übung		472265	Di 14:30-16:00 AH III (2350\|314.1) (×14) Mi 10:30-12:00 AH III (2350\|314.1) (×14)
Mobile Internet Technology	Fach-/Modulprüfung	6	478980
Model Checking	Fach-/Modulprüfung	6	477928
	Vorlesung		474525	Mo 12:00-14:00 5055 (2356\|055) (×1) Mo 16:30-18:00 AH II (2350\|111) (×10) Di 18:30-20:00 AH III (2350\|314.1) (×12) Do 09:50-15:00 5052 (2356\|052) (×1)
	Übung		474235	Fr 12:30-14:00 AH II (2350\|111) (×13)
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	475383
Modellbasierte Softwareentwicklung	Fach-/Modulprüfung	6	475739
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	476135
Online Algorithmen	Fach-/Modulprüfung	6	474810
Physikalische Simulation im Visual Computing	Fach-/Modulprüfung	6	475126
	Fach-/Modulprüfung	6	474630
	Vorlesung/Übung		470755	Mo 10:30-12:00 5056 (2356\|056) (×11) Mo 10:30-12:00 Fakultätssitzungssaal Informatik (2359\|222) (×1) Do 10:30-12:00 AH VI (2356\|051) (×12)
Probabilistic Programming	Fach-/Modulprüfung	4	476025
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	3	477323
	Fach-/Modulprüfung	6	477322
	Vorlesung		472240	Mi 08:00-17:00 Extern (×1) Do 08:00-17:00 Extern (×1)
Quantum Computing	Fach-/Modulprüfung	4	476641
Quantum Computing	Vorlesung		481713	Mo 14:30-16:00 AH I (2350\|028) (×11) Mi 10:00-12:00 AH II (2350\|111) (×1) Do 14:00-16:00 AH III (2350\|314.1) (×1)
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	477988
	Vorlesung		474435	Mi 16:30-18:00 H05 (1385\|105) (×13)
	Übung		474486	Di 08:30-10:00 H05 (1385\|105) (×14)
Research Focus Class on Learning Technologies	Fach-/Modulprüfung	6	475222
	Projekt		493352
	Projekt		496145
Sicherheit in der Mobilkommunikation	Fach-/Modulprüfung	6	476672
Software-Projektmanagement	Fach-/Modulprüfung	4	476170
	Vorlesung		472718	Mi 08:30-11:30 5054 (2356\|054) (×1) Mi 10:30-12:00 AH VI (2356\|051) (×8) Do 09:00-10:00 5054 (2356\|054) (×1) Fr 08:30-10:00 AH I (2350\|028) (×5)
	Übung		472187	Mi 10:30-12:00 AH VI (2356\|051) (×3) Mi 12:30-14:00 AH III (2350\|314.1) (×1) Mi 12:30-14:00 AH VI (2356\|051) (×2)
Software-Qualitätssicherung	Fach-/Modulprüfung	6	476636
Statistische Klassifikation und Maschinelles Lernen	Fach-/Modulprüfung	8	475387
	Vorlesung		482222	Di 10:30-12:00 I (1010\|101) (×11) Mi 10:30-12:00 PPS H2 (2315\|001) (×12)
	Übung		482221	Do 08:30-10:00 I (1010\|101) (×11)
Statistische Methoden zur Verarbeitung natürlicher Sprache	Fach-/Modulprüfung	8	478832
The Logic of Knowledge Bases	Fach-/Modulprüfung	6	475615
The Logic of Knowledge Bases	Vorlesung/Übung		482087	Di 08:30-10:00 t.b.d. (×12) Di 14:30-16:00 t.b.d. (×12) Do 08:30-10:00 t.b.d. (×10)
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	475717
Theory of Distributed and Parallel Systems	Fach-/Modulprüfung	6	478364
	Vorlesung		481626	Di 16:30-18:00 AH III (2350\|314.1) (×13) Do 16:30-18:00 AH III (2350\|314.1) (×9)
	Übung		481630	Di 14:30-16:00 5055 (2356\|055) (×9) Di 14:30-16:00 Seminarraum i1, Raum 4017 (2353\|017) (×2)
Wissensrepräsentation	Fach-/Modulprüfung	6	475452
Wissensrepräsentation	Vorlesung/Übung		474266